dfa properties